Controlling Plural Ambiguities in Attempto Controlled English (ACE)
نویسنده
چکیده
Attempto Controlled English (ACE) is a controlled natural language specifically constructed to write software specifications. ACE specifications are computer-processable and can be unambiguously translated into a first-order logic language. The current version of ACE deals only with singular phenomena. We discuss how ACE can be extended with plurality. The extension proves to be difficult in that plurals are a frequent source of semantic ambiguities. ACE uses a constructive , i.e. completely controlled approach to deal with syntactic and semantic ambiguities. We outline how this strategy can be applied to reduce and eliminate plural ambiguities in ACE.
منابع مشابه
Attempto Controlled English (ACE)
Attempto Controlled English (ACE) allows domain specialists to interactively formulate requirements specifications in domain concepts. ACE can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage. The Attempto system translates specification texts in ACE into discourse representation structures and optionally into Prolog. Translated specificatio...
متن کاملParaphrasing Controlled English Texts
We discuss paraphrasing controlled English texts, by defining two fragments of Attempto Controlled English (ACE): Core ACE and NP ACE. We show that these fragments have features that one would usually expect from paraphrases. We also describe a tool that paraphrases ACE sentences into these fragments.
متن کاملAttempto Controlled English and the Semantic Web
This report presents three tracks of research on Attempto Controlled English (ACE). First, we show how ACE can be translated into OWL DL and how OWL DL can be verbalized in ACE. Second, we describe work done in cooperation with the working group A2 Bioinformatics on using ACE as ontology language for protein interactions. Third, we summarise changes to ACE and its associated tools. Keyword List...
متن کاملMapping Attempto Controlled English to OWL DL
We describe ongoing work on the mapping between Attempto Controlled English (ACE) and OWL DL. ACE is a well-studied controlled language, with a parser that converts ACE texts into Discourse Representation Structure (DRS). We describe a relatively direct mapping of a subset of the DRS language to OWL DL. This mapping renders ACE an interesting companion to existing OWL front-ends.
متن کاملAttempto Controlled English for Knowledge Representation
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-order logic. ACE may seem to be completely natural, but is actually a formal language, concretely it is a first-order logic language with an English syntax. Thus ACE is human and machine understandable. ACE was originall...
متن کامل